MuJS: an embeddable JavaScript interpreter