new dot parser + nucmer format fixes