Added lab5main.cpp to the CI tests