Rename mochen.html to mochen.js