Bash menu options from files, example with OpenVPN