revmoved ProofTools.ML, HipSpec.ML as this code has been refactored and moved
Added skeleton for CICM paper
Merge branch 'Isabelle2013-2' of https://github.com/moajohansson/IsaHipster into Isabelle2013-2