Add debian boxes, update docu