Finish up project proposal, add .synctex to gitignore for texstudio users