Switch to git submodule for bibliography
Update bibliography, stop git from tracking .bbl
Split up some lines
Switch to amsrefs
Adding some more details to the GSp_4 example