usermanual : rework lua attributes according to what upegelow told me to do
Merge branch 'master' into usermanual
usermanual.lua: a few fixes
Merge branch 'master' into usermanual
usermanual : fix link id to be XML compliant
usermanual: a first small step to make xmllint happy
usermanual: further minor fix in usermanual.lua
usermanual: make xmllint happy
usermanual: proofreading thanks to Mark Garrow
usermanual: minor update to usermanual.lua
usermanual: make DOCTYPE match content of file
usermanual: pretty-print docbook sources
usermanual: pretty-print reworked a bit
Use g_list_free_full/g_slist_free_full
usermanual: documentation of implemented feature request #9709 (manually adapted from pull request #390)
update year in printed copyright messages

and a happy 2014 everyone!
Refactor db initialization + clean schema upgrade path

This commit removes some legacy code like a binary blob with settings in
the db. Please review this carefully, if anything is broken it will
probably corrupt or clear people's db. Good thing we have XMPs. :-)
Italian translation updated
usermanual: some build system fixes for translated manuals
Merge pull request #412 from bartokk/master

Italian translation updated