Big load of look & feel changes.

    * Use flask-babel extension for translations
    * Allow user to select language
    * Show highlighted source in full site page, with 'Raw' button
    * Remove some unneeded debug outputs
    * Use 'url_for' function everywhere instead of request.script_root
    * Get rid of 'confirmation sent' page, redirect directly to next
      message or index
    * Highlight current user's row in monitor
    * Use Twitter Bootstrap with fluid grid system and responsive
      feautures for better look
    * Show tooltip with problem name in monitor
    * Fix typo in 'submit' view function name (was: 'sumbit')
Add 'pun' mode with testsys messages mangling
Merge branch 'bootstrap'