Change settings extension to .json
Gitignore settings.json instead of settings.txt
Fix library.getLibrary() calls