A converter from CoolReader's bookmark files to simple text files