a small URL encoding script