use thin as webserver; fix Procfile