A Boxen puppet module for the KeyRemap4MacBook application