A dockerfile for INGInious