Robodeputy.

Adds deputy badge to robocop profession. We can replace this with some
kind of special thing later if necessary.