[webui] make old links to package/show work again
[api] pessimistic lock on request state changes to avoid a race condition
[webui] Import the jquery-ui styles as scss
[webui] Require jquery.ui tabs
[webui] sourcediff is a post call
[webui] Fix monitor workerbox background url