verilator: Clean up console output
Add a configure option to disable SVN-based providers

By passing --disable-svn, no SVN-based providers are installed.
This only affect the OpenCores provider at this point