Return repo-specific data in REST interface
New GUI (fixes #73, fixes #87)