Merge branch '0.73-development' of cobramush@cobramush.org:cobramush into 0.73-develo...

diff --cc src/Makefile.SH
Simple merge

diff --cc src/command.c
Simple merge

diff --cc src/destroy.c
Simple merge

diff --cc src/division.c
Simple merge

diff --cc src/function.c
Simple merge

diff --cc src/prog.c
Simple merge