Using mustache.js to render HTML in DeviceDB front end