npm/sprotty-examples