Dataset and Evaluation Scripts for Obstacle Detection via Semantic Segmentation in a Marine Environment