Version 1.0pre7 released.

This version features only small bugfixes. It is fully compatible with 1.0pre6.