Add redshank.
Tweak clisp config.
Haskel and sml.
Update magit.
Merge remote-tracking branch 'github/master'

Conflicts:
	.gitmodules