Remove the last_request portion of the IDE plugin.

This only worked when the IDE was on the same server as the rbot
instance, which is no longer the case.
Add a trac plugin that links tickets & pages.

Pages are linked from any hash followed by numbers, pages can be
linked by asking for `trac page name'.