Graph widget: add 'manual' layout type

The manual layout will make Cytoscape.js use the layout the user
defined. Therefore, no automatic re-positioning of the nodes will be
done by Cytoscape. This layout type is called 'preset' in Cytoscape.js,
but in my opinion 'Manual' to be clearer for display. This fixes #603.