BREAKING CHANGE: numerous fixes to publications listed in my CV

[tthuem]

(including updates of keys)

I have found numerous systematic mistakes.

Month and Year

• The publication month and year of a journal is that when the issue (not the article) is published. DBLP seems to have solid knowledge on that (compared to Springer's own website).
• For theses, we always use the month when the thesis was defended (not when it is submitted and not when it is finally published).
• For conferences, the month and year is typically the first day of the conference. As SPLC was in August and September, both months were used.

Adding Papers

• When adding unpublished articles, try to already add the DOI. Helps to keep track of the publication status.
• When a paper happens to become subsumed, please change the key. This way, we make sure to update all references of outdated publications. In addition, you may want to use the subsumedby field.
• When checking whether all your papers are complete, it is helpful to compare all papers on your website (or in Bibtags) with those being listed in ACM, DBLP and Google Scholar. ACM and DBLP do have the best quality in their data.

[tthuem]

@skrieter The failing test does not seem to be related to my changes.

[pmbittner]

I will add these rules to the README so we hopefully do not forget about them in the future.