GitLab

This tries to conform with:

https://wiki.debian.org/DebianRepository/UseThirdParty

We also change keyservers to avoid signature flooding
attacks. Ideally, the repository would ship its own key, to avoid
writing that key in the user's keyring, but this fixes the worst of
the problems (short key ID attacks and flooding).

This fixes an awesome bug where restoring from a pipe would not work,
because that's the case where you're going to see short Read()s.

Should help improve the quality of matches.

The idea is to support a set of metadata checks of various
kinds, to select books in large databases for further processing.

The bleve API has changed slightly, too.

There aren't any external tools to backup a LevelDB database, so it's
nice to have a way to do so safely: the dump method is exposed to
localhost on the web interface.

Update head template to enable responsiveness in bootstrap theme

See merge request !2