Make the command-line --licence option do something useful.