travis: disable python 2.6 for a while
dump: do not output methods
solver: dump all literals prior to everything else