remove show_dot from pymbolic (#115)
* remove show_dot from pymbolic
Moved to pytools.dot
* change required version
* update to graphviz.py
* Bump pytools requirement to a version containing the moved code
* Add deadline to show_dot deprecation
Co-authored-by: Andreas Kloeckner <inform@tiker.net>