added menues for DIFFTK. Also I had to extract the tar balls since github does not allow upload of gigantic binary files any more AND for good reason