exportoptions gitolite does not exclude keys that have random options set

We probably do not want to include keys in gitolite's authorized_keys file that set a different command= restriction for instance.

Thus, to be on the save side, we should drop all keys that set any option we do not directly consume in ud.
