Deprecating mips-openbsd

[Richard Sandiford]

According to:

    http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47110

mips-openbsd does not build in 4.6.  I haven't seen any activity
on this port for years.  Would anyone object to its deprecation?

Richard