adds .derecho file setup if one is missing from the pwd