ide: Scroll to module/theory when clicking them on the prooftree

fix #363 (closed) Add the location of the module ident in itp_server when sending the Task notification.

Closes #363 (closed)