Anki is sort of designed for this. You would have to manually add the highlights, though.