Add .proverc file.