Debian: monkey-dev now distribute Monkey headers

Signed-off-by: Eduardo Silva <edsiper@gmail.com>