Check features of the installed system. Performs the following
- Test whether features that depend on optional libraries
are present (e.g., unbounded arithmetic support)
- Test that all standard libraries that depend on foreign
code are present.
- provides a test_installation predicate to run the tests
at runtime if the system was built with -DINSTALL_TESTS
If issues are found it prints a diagnostic message with a link
to a wiki page with additional information about the issue.