ignore .nfs* files (prevalent on university Linux)
ARTS mostly complete for lectures 1--5