Web UI enhancements, queue deletion, better log messages

- Paginate web UI task and log lists - Include task IDs in push logs - Add logs to web UI - Include task IDs in queue logs - Support deleting queues - Rewrite internal links after namespace renumber - Validate workspace selectors - Record HEAD when dropping tasks - Render links in HTTP property values