Fix catalog remove from shopping cart #1139

Fix Catalog remove from shopping cart #1139
Fix Rename submission to submit #2416
Fix Catalog only uses first page of REST API search results #1018
Replace dynatree with fancytree plugin
Performance: Incremental shopping cart changes
Spinner improvements: static backdrop, show spinner after 0.5s
Style fixes