Read number of PDF pages from SyncTeX file instead of using PyPDF2 module