Made dev site look different from prod

Shaded the login header, changed the text on the front page, and
dynamically swapped out the favicon.
Switched site config from API call

Switched site config from API call to a static javascript object.
Made Config.js available to quint
Conformed to grunt and jenkins
Removed BMInterfaceBase
Added test_Config.js
Merging + resolving conflicts
Updating line endings
Still updating line endings
Never ending line endings
Tentative "color everything" proposal
Reduced color proposal
* override Config.js sitetype setting on the dev site
private $conn, header spacing, mixed case
Fixed unit test mistake
Merge pull request #849 from AdmiralJota/702_distinguish_dev_site

702 Visually distinguish the dev site from prod
Merge branch 'master' of github.com:buttonmen-dev/buttonmen into 702_puppet_js_config
Merge pull request #871 from AdmiralJota/689_color_overview_2

Color and Column Adjustment
Merge pull request #873 from cgolubi1/702_puppet_js_config

apply dev site customization of UI look to dev.buttonweavers.com
Merge remote-tracking branch 'upstream/master' into 75_join_game_ui