added some description about syncTex, backward and forward search