Add Simon's helper functions for buliding lean files
Add Simon's helper functions for buliding lean files

Handy especially when upgrading Lean and refactoring.

TODO: find a nice key binding for lean-leanpkg-{build,test}-quiet
      functions

aminb/.emacs.d,aminb/.emacs.d,aminb/.emacs.d,aminb/.emacs.d,aminb/.emacs.d,aminb/.emacs.d,aminb/.emacs.d,aminb/.emacs.d