Adding raspberrpi to the host alias for the ssh config