Fleshing out the command line options for run-citadel.sh