added package spdiff
added menhir as a dependency
Merge pull request #2646 from UnixJunkie/spdiff

added package spdiff