Allow specifying the username for ssh commands

This is useful since the AMIs are already customizable and the username
will vary based on it.