Remove @Navigator.attach decorator

This appears to have, at one point, been used to attach specific methods
to Navigator objects. However, only @Navigator.attach_class, which
copies a set of methods, is used - making the former redundant.