More cites.
Merge branch 'pldi-2015' of github.com:davdar/maam into pldi-2015
Merge branch 'pldi-2015' of github.com:davdar/maam into pldi-2015
Small stuff.
Merge branch 'pldi-2015' of github.com:davdar/maam into pldi-2015
Better bib fetch.
Merge branch 'pldi-2015' of github.com:davdar/maam into pldi-2015
Merge branch 'pldi-2015' of github.com:davdar/maam into pldi-2015