Bye bye webinstall!

No sense in keeping it here when we're not using it anymore.