Simple PHP app to shorten urls