Simplistic url shortener PHP script, no database required, clean redirect for non existing shortcuts.