A prototype REST API on top of the Bugzilla database