make favorite list scrollable
Merge branch 'develop' of https://github.com/52North/js-sensorweb-client into develop