[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