#87 Switch to peer dependencies for sprotty and Theia (#88)
Declare theia and sprotty dependencies as peer dependencies and update the minimal theia version to 1.18.0. This leaves the actual version selection in the control of the downstream project.