Updated dev version number, modified index.html as necessary, etc.