Add more portal types

Restaurants, shops and schools are portals now, too.
Improve UI by adding bootstrap, easybutton and fontawesome
Fix duplicating links when zooming

Same as was done for portals. Not sure how good the idea of keeping all portals and
links aroud in the browsers memory is, but for now it will stay.