Install Darcs 2.3 on Travis CI #1142

Our tests break on Darcs >=2.5 as Darcs changed the repository
format and the command API.