Implement vertex reordering during graph copy
Implemet __copy__ in Graph and PropertyMap
Implement weighted degree property maps and weighted degree selectors
Do not use filter stash internally, in favour of graph views
Get rid of the filter stash in Graph class

Fully remove the filter stash and associated functions in the Graph
class, in favor of using GraphView uniquely.
Merge branch 'devel'