migrating to python27
Native json; initialize foldersJs
Add revision.txt to gitignore; new proofs