updated bootstrap and smartmenus, patching
smartmenus now fetched via bower
bootstrap-markdown & syntax highlighter updated and simpler customizing
full calendar updated and customizing in build adapted
translation for bootstrap-markdown (preliminary)
jslint problem
tweaking tables
removed potentially unused file in top-level
Merge pull request #850 from leider/master

update of frontend libs + changes in build process