Add a lenin dockerfile