Enable users to specify an Elastic IP for their head node in AWS