Simplify handling of encoding of JSON files
add stuff to gitignore