Adjust for submitting site to GitHub
As we build with Maven no ant build file is needed

Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>