Extremelly simple URL shorten server in PHP