* 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>