Lightweight file based url shortener in PHP, no DB!