Parsing command line options by hand in Bash because I need array-valued options. getopt(1) won’t work for my case.