A setup for running docker applications on the Raspberry PI