get_options: allow no arguments if all are optional
-rw-r--r-- 22 .gitignore
-rw-r--r-- 1123 Makefile
-rw-r--r-- 8646 README.dev
drwxr-xr-x - debian
drwxr-xr-x - src
drwxr-xr-x - test