Allow extra ssh public key injection

The extra ssh public key filename is specified by the extra
command line option --ssh-keyfile. The key is injected by the
userdata script if given.

Change-Id: Idf1e2dee15450f6f4b0bbeea31c3a45b82508af0