Construction of the covariantly quantized heterotic superstring