This also properly handles self-loops and thus fixes #180.

The new format fully supports all property map types present in
graph-tool and should be much faster and produce smaller files than the
other text-based formats.