Instructions for setting up the ADT environment