dblpbibcloud -- auto merge of bib entries from DBLP and infoscience

[edbugnion]

the script "dblpbibcloud.py" operates as follows:

1. fetches the list of all conference papers written by EPFL system PI from DBLP
2. fetches the bibtex files from infoscience written by EPFL system PI
3. does a filter/merge/sort of candidate publication list that have an infoscience entry
4. augments the publication set by reading additional bibtex files stored in the reop (bib/misc.bib for now)
5. generates bib/pubs.bib. the file is sorted by year and venue

As of now, the file bib/misc.bib (manually curated) contains only 8 entries, which (1) were present in the previous bib/pubs.bib, but could not be fetched automatically by the algo. There are a total of 35 entries in the resulting file.

(v1 - there are probably bugs)