licenses: convert license tags to SPDX
misc/proof-indent.bsh: add installation instructions
proof-indent: Update proof indent script for Isabelle 2014. It is still a nasty hack, but now it seems to work with Isabelle 2014.
Import release snapshot.