Doxygen support added

Includes a doxygen config file, a mainpage.dox placeholder,
and a css file for making the pioneer badge.png not so huge.
gitignore doxygen generated documentation
COMPILING.txt: consistent section spacing, number sections, document
naturaldocs and doxygen
Start using the device GUIDs in bindings so we don't try to assign mappings to the wrong input device on successive runs.
Fix to be C++ correct
Try to hide all details about GUID wrangling from the keybinding layer.
reduce warnings, unused vars, unnecessary casts.
Avoid stupid potential overflow.
Avoid Stupid potential overflow in BOTH locations.
remove the NUM_COMPRESSED_TEXTURE_FORMATS check during graphics init

fixes #3132
Factor out string scanning into it's own function.
Remove invalid default axis bindings.
auto-commit: translation updates
make game log font one step bigger (than FONT_SMALLEST)
Merge branch 'gamelog_bigger_font'
Merge branch 'doxygen'
NUL terminate in ReadToTok if possible.

Eliminate spurious warning about signed/unsigned comparisons.
auto-commit: translation updates
auto-commit: translation updates
Merge pull request #3141 from kuroneko/kn-better-joystick-interface

Improved Joystick Binding