added debian file for man pages