pkgs: Add ocaml 4.00.1; minor other fixes (isabelle heaps location, downgrade tlaps)
pkgs: Fixes
pkgs: Add rough haskell packages
pkgs: Add Isabelle 2013 binary distribution packages