implied a complete rewrite of command-line parsing),
- added "--non-shared-only" option, to install only platform-specific
files,
- changed option "--install-prefix" to "--dest-dir", and modified its
behaviour so that it now really behaves like DESTDIR,
- changed the meanining of the "lib" location, which must now contain
one directory per supported platform,
- added (exported) function "get-option-value" which returns the value
of a command-line options; this subsumes "is-running-dry?" and
"with-optional-part?", which were consequently removed,
- commented most functions.
1e8c345f34