changing the version a bit and removing quilt
changing back to what dfg had
Merge pull request #27 from btorch/master

debian format change