Rename boobs.h to boops.h for inclusion in debian.
Merge remote-tracking branch 'github/pull/17'

* github/pull/17:
  Rename boobs.h to boops.h for inclusion in debian.