* src/tools/gigdump.cpp: Added command line option --instrument-names which causes only instrument names and their index numbers to be printed. * Bumped version (4.1.0.svn5).