Add scala-mode, proof-general