Accept the principal on the commandline

When --server-principal is passed to Grunt, we want to actually request tickets
for that principal, instead of continuing to hardcode it in the Webathena
ticket request logic.