Instructions for setting up Linux Lab machines at Swansea University for use with Spark Ada