pylint cleanup for sv_prover.py
pylint cleanup for sv_sbb.py
pylint cleanup for sv_server.py