sref support in the IDE

[kohlhase]

The "meat" of the \sref command is the id or name of the reference statement; i.e. the foo.def in \sref[file=bar/baz/foo.en]{foo.def}. But we also have to give a file to make the containing document self-contained. This could be supplied by the IDE. Also having a id searcher` would be helpful.