Update tools.inc.php

Removed GitHub ribbon hosted externally, fix #3.