add dos mode for bat scripts
recognize \ as regexp metacharacter in grep+ so -E will be passed to grep
bump magit submodule; tweak haskell and agda setups;