add production specific files
fix 500 due to unchecked var
Merge branch 'master' into farhang
Merge branch 'master' into farhang
Merge branch 'master' into farhang
adding page titles and sitemap route
Merge branch 'master' into farhang
update Gemfile
add robot and sitemap
Merge branch 'dev' into farhang
speed up sitemap and lemmas and remove root lock from sitemap
update Gemfiles
wip bs3
updated to bootstrap 3 with some design changes
fix old sidebar specs and make them menu specs
remove empty lines in views
patch xs button view for validation
update copyright and version
Merge branch 'master' into farhang