Improve Graph.remove_edge()

It now accepts edge descriptors from all graph views and invalidates
them after removal.
42 jobs for master in 175 minutes and 8 seconds (queued for 2 seconds)