Remove HTML5 Packages from 3.1

In Seaside 3.1 the HTML5 support has been merged into the
HTML support.