Travis: try to get some examples tested

Do this by not building some theories under src, using a custom build
sequence.