configure.ac,debian/survex.install,src/Makefile.am: Build and
package dump3d as standard - it's useful for grabbing info from
3d files in scripts.
doc/TODO.htm: Note that dump3d needs documenting.
src/mainfrm.cc: Speed up loading a .3d file with cross-sections by
using a map to convert station names to positions.