adding the find_gradle script, and a shell script to pretty-print JSON files