Run/stop button label updated

If started/paused elsewhere the button label and titles are updated.
Fixes #15.
Restored index.html

Chrome Dev Tools sometimes treats index.html as read-only so I need to
make another (for a while).