pruning peanoclaw (this code is not ready for master yet)
Merge pull request #253 from ahmadia/prune_peanoclaw

pruning peanoclaw (this code is not ready for master yet)