Fix progress spinner
Fix JQuery map file paths
Fix REST API response for empty arrays

Changes to the REST server library made it impossible to respond with
[]. This is a quick hack to allow that again.