MicroDvd: use boost regex for parsing subtitles