Pipe errors to file

CVC4 (v1.3) produces many warnings since it links with the old tr1 libraries.