updated WFK product version properties + added *-with-tools BOM