[travis] Tell the tests which port web2py is on and general removal of not-yet-necessary bits