Misc
Add partial bibliography on strictness analysis

Today I settled on surveying the field looking for powerful strictness
analysers for expressive languages. The projection-based approach seems
to not scale enough in the end. However, GHC's solution might be a good
starting point.
Move paper into Strictness Analysis bibliography
Add .gitignore