append page number in toc entry

and add option to show file size in filemanager

This PR implements #359 and #391.