Add generated BibTeX reference text in the PDF to search

[koppor]

When pdflatex+bibtex/biber generate a PDF, the rendered labels (e.g., HHGJ11 is displayed in the PDF) are different from the labels used in the bib database (e.g., Han_Survey_NoSQL is present in the .bib file). When searching for a reference, one sometimes wants to search using the generated label. Thus, the search should parse the output and add the information to the search.

Maybe parsing the aux file is enough. Maybe, biblatex has to be extended. Not sure.

[koppor]

We already have parsing of aux in place.