Add support for OTP-specific command line arguments

This requires a bash version >= 4,
but enables setting certain options only where they make a difference.