Search in MarvinSpace documentation

MarvinSpace has been discontinued. Last released version is 16.10.30.