update version number to 0.7.5
update version number to 0.7.5

Ignore-this: 32f913258ae0262704b0832a68879f6c

darcs-hash:20100711073134-1a7c6-1f97b96bccde3152160d0ae400eae8619762a4dd

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc