add precompiled headers for Core and StandardCodeLibrary; change setting
of cpp-workspace.