Lightweight file based url shortener in PHP, no db