Friendlier error messages

Friendlier to machines that is. ``File "foo.ml", line 42, characters 7-15'' is
replaced by ``foo.ml:42:7-15''.