General updates to darcsden for submission to mainline darcsden (fork of simon's darcsden)