Rijksgebouwendienst draagt WKO-tool over aan ISSO