Some simple python scripts for programmatically changing and reading settings in pfsense