recode decommentJSONfile to handle tricky cases
As we now have /* */ comments in example files the simple decommentJSONfile() tool should be improved. According to its doxygen comment:
/// Removes //, # and /* */ comments from the input file and writes its content
/// to another file. The comments are replaced with spaces, so the original
/// token locations should remain unaffected. This is rather naive
/// implementation, but it's probably sufficient for testing. It won't be able
/// to pick any trickier cases, like # or // appearing in strings, nested C++
/// comments etc at the exception of // in URLs.
Note it is not required now and not trivial so I create it in Outstanding.