Change "Hal" to "Dave" for canonical accuracy

Since the user in the movie is Dave, the robot should refer to the user
as Dave.

https://www.youtube.com/watch?v=OEu4Iq5KL-Q