I've never used it, but it sounds like you might get use out of this. Having said that, I'm pretty clueless about stuff like this, so there may be issues with getting it to do what you need.
Looks like its had mixed reviews, so asking the community in the product thread about its strengths and weaknesses would probably be wise. I saw one comment that suggested it didn't work well with roll20, which I presume is similar to maptool.
I'll second the maps in the PDF being better than the ones in the Interactive Maps. I'm running this campaign on roll20, and found that just copying the map from the pdf for each encounter works fine, none of the room numbers or stair arrows get copied with the image. It sometimes takes some finessing to make the map fit the grid that roll20 provides though, and sometimes it just doesn't work at all. Luckily, you can always just turn that grid off and use the one on the map.
This is not exactly an answer to your question, but perhaps it is a workable alternative. You could always use the high res maps several of us have crafted for the adventure. They can be found on page 19 of the Community Created sticky thread at the top of this forum.
I would have to agree with Mystic. There's several great maps done here by the community. If you have access to it though, Photoshop (or a similar program) can do wonders for the resolution if you prefer to do the maps. Everyone of my maps I use for Roll20 I've touched with Photoshop look pretty good. You just have to keep in mind the technical gooey parts such as ppi and aspect ratios.