ci: adding libsdl ppa, using gcc 4.8 now
make: using cmake functionality for finding all libraries