[db] call fontloader.close() for some minor gain
[*] bump version globally
[db,tool] default to compressed plaintext index
[man] update references to db compression
[man,doc] adapt references to luaotfload-names.lua
[tool,man,db] add --max-fonts option to restrict db size
[db] simplify loop exit condition
[db] prefer split style with Type1 fonts
[db] infer style for Type1 fonts
[fontloader] sync with Context as of 2013-11-14
Merge pull request #150 from phi-gamma/master

tweak type1 classification; enable compression; sync