1) update  install srcipt/doc for proofpower
Merge branch 'master' of https://github.com/ggrov/psgraph