support auto in pp
Merge branch 'master' of github.com:ggrov/psgraph

# By Gudmund Grov (3) and Colin Farquhar (2)
# Via Gudmund Grov
* 'master' of github.com:ggrov/psgraph:
  started work on new goal type which also supports variables + linking with whym
  some ideas on extended goal types and a test file for capturing
  further work on intro strategy and examples added
  First go at representation for capturing full proof
  folder added for gathering HR data