Changed name of war file

The war file that's generated is called cas.war. We should look into which one
is right, but for now this is a workaround.