Updated digabi-repository .deb.
Merge branch 'master' of git://github.com/digabi/digabi-repository

* 'master' of git://github.com/digabi/digabi-repository:
  Ignore *.exe.