Updated documentation.
Issue #47: updated launchers.