DocExtract: several improvements

* Accepts Publications as reference section.

* Refactors book handling and search.
  (closes #959)

* Daemon extracts all added pdfs.

* Correctly handles PDF/A files.

* Adds LIGO and LHCP report numbers to the kb.

* Adds the filename of the extracted files in the 999C6f field.

* Converts arxiv urls to report numbers

* Adds support for hdl identifiers.

* Sets a priority on which title form is the most important.
  References will be given priority over anything else while Reference
  will rank last with Bibliography in between.
  That means that if "Bibliography" is found in the text, we assume it is
  the reference section and we don't look for a section titles "Reference".

* Improves error message when pdftotext is missing.

Signed-off-by: Alessio Deiana <alessio.deiana@cern.ch>
Tested-by: Samuele Kaplun <samuele.kaplun@cern.ch>
1: D400 First line should end with '.', not 'n'
4: I102 copyright year is outdated, expected 2014 but got 2011
30:37: E126 continuation line over-indented for hanging indent
35:4: E121 continuation line under-indented for hanging indent
35:21: E203 whitespace before ':'
36:21: E203 whitespace before ':'
37:21: E203 whitespace before ':'
38:21: E203 whitespace before ':'
39:21: E203 whitespace before ':'
40:21: E203 whitespace before ':'
41:21: E203 whitespace before ':'
42:21: E203 whitespace before ':'
70:32: E221 multiple spaces before operator
71:30: E221 multiple spaces before operator
72:30: E221 multiple spaces before operator
77:41: E221 multiple spaces before operator
78:40: E221 multiple spaces before operator
82:41: E221 multiple spaces before operator
83:36: E221 multiple spaces before operator
84:41: E221 multiple spaces before operator
85:37: E221 multiple spaces before operator
86:37: E221 multiple spaces before operator
87:35: E221 multiple spaces before operator
88:35: E221 multiple spaces before operator
89:37: E221 multiple spaces before operator
90:35: E221 multiple spaces before operator
91:40: E221 multiple spaces before operator
95:41: E221 multiple spaces before operator
96:36: E221 multiple spaces before operator
97:41: E221 multiple spaces before operator
98:37: E221 multiple spaces before operator
99:37: E221 multiple spaces before operator
100:35: E221 multiple spaces before operator
101:35: E221 multiple spaces before operator
102:37: E221 multiple spaces before operator
103:35: E221 multiple spaces before operator
104:40: E221 multiple spaces before operator