Added an exit call after every heading("Location:...") redirector to prevent unwanted execution of code.
Fixed inconsistent line ending styles
Updated tools interface
Changed included file name from include.php to tool.php
Updated tool-handling code