Added tool to convert from input.txt to json""