Websecurify 0.7RC2

Time to test Websecurify 0.7RC2. You can find the binaries at the usual place.

All changes since 0.7RC1 are related to stability and performance.