tools/inc/lib/jsgettext/: bundle jsgettext library from https://code.google.com/p/jsgettext
tools/inc/lib/jsgettext/: apply fixes from bugtracker
tools/inc/lib/jsgettext/: remove unnecessary file
tools/i18n_*: introduction of translation tools for tinyboard; supporting javascript i18n
tools/inc/lib/jsgettext/: misc fixes
js i18n: misc fixes; quick-reply.js i18n

Conflicts:
	js/quick-reply.js
	templates/main.js
i18n tools: small fixes
i18n_extract tool: replace the bundled lib with gettext forced to assume python, since it extracts more strings
Convert to UNIX line endings
two tiny changes
Update for latest Tinyboard (table prefixes) -- breaks compatiability with earlier Tinyboard versions
Moved stylesheets to main repo
chmod +x
Add convert+gifsicle
benchmark: add gm
tools/delete-stray-images.php
+x
typo
inc/mod.php => inc/mod/auth.php
disable $config['try_smarter']