Remove forgotten Procfile

Removes Procfile from this repository.

Now we make use of Runit on development through GDK, which uses its own Procfile to specify processes.

Apparently this file was forgotten and is not used anymore.