Bump dependency versions

Both tiscaf and diffson have been released, the SNAPSHOT versions are no
longer available.