Adding red highlighting to unknown labels in error messages (issue #19)

Patch for a small new feature in goto.