Format conversion between OpenScop and SCoPLib