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
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
Merging + resolving conflicts
Updating line endings
Still updating line endings
Never ending line endings
Tentative "color everything" proposal
Reduced color proposal
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 pull request #871 from AdmiralJota/689_color_overview_2

Color and Column Adjustment
Resolving conflicts