Create minimized release version 0.5.1; set up index.html for release