Remove dependence on cogserver

There's nothing in the pattern matcher that actually needs the cogserver, so remove it