Function user_config_path 

pub fn user_config_path() -> Option<PathBuf>

Per-user config file (~/.proofvisor/proofvisor.toml), if the home directory is known.