ide: Automatic scrolling to location now uses goal location fix #296
This contains a change to constructor Task of itp_communication.mli which makes the itp interface incompatible with previous version (frontends have to be updated).
This contains a change to constructor Task of itp_communication.mli which makes the itp interface incompatible with previous version (frontends have to be updated).