boinc

    - bug in language_select.php made 'auto' not work,
        i.e. its impossible to return to browser settings
        after doing a cookie-based language choice
    - translation.inc and language_select.php were using $HTTP_SERVER_VARS,
        which appears to be deprecated in PHP 5.
        Use $_SERVER instead.
    - made strings at top of web site translatable

    html/
        inc/
            translation.inc
        user/
            language_select.php
    languages/translations/
        en.po

svn path=/trunk/boinc/; revision=12493