Adapt dist vagrant file to us hashicorp precise64 base machine, add vbox name
Add support for attributes in toolbar buttons
Fix minor cs issues
User HTTP_HOST instead of SERVER_NAME

SERVER_NAME holds the name configured in the server setting and thus can
not be used, if the same server is used under different names.
HTTP_HOST instead contains the currently requested hostname. This also
includes the correct format for IPv6 in URLs and a port if appended.
Default HTTP_HOST to localhost if not set
Merge branch 'develop' into deployment/lod2.eu