This makes the retrieval of values obviously much faster and preserve their values across runs.
Actually, main point of this was to let the executable filename be `weberizer.ml` by putting it in a separate directory from the Weberizer module implementation, but I'm unable to make that work. I get a circular build error. I don't see why this shouldn't work. For now the file is still called `weberizer_compile.ml`.
I'm a stickler for good simple names and don't see why the executable shouldn't be named simply `weberizer`. Only issue I see is that now the filename is different from the final executable name, which can be a bit confusing because you won't know that without reading the _oasis file. But I still think this is better.