* Resolve static memory encoding problem -- fixes #6.
* Better placed prelude(s).
* Automatic script installation.
Several fixes.
* Resolve static memory encoding problem -- fixes #6.
* Better placed prelude(s).
* Automatic script installation ; updated README.