Remove obsolete script_dev.html

No need to explain this one.