update to Twitter Bootstrap 3.1, compress prod CSS file