Add get_config/set_config to espresso top-matter
Use assumptions context manager in Sudoku doc
Add doc section for Espresso script
Document SAT assumptions
Update release notes for 0.20
Release 0.20.0