Add metatitle to prevent equations in GS metadata
Add cabal files
Add metatitle to prevent equations in GS metadata
Add COLT 2013 files
Fix BibTeX for COLT 2013