Add loadLean and evalLean methods

For some reason regular eval fails when loading forms that depend on
lean code.
leanLoad namespaces that has lean-compiled classes on the classpath