Permit manual config on travis; #208
Permit manual config on travis; #208

Note that virtualenv doesn't run well with DMOJ. It's not really a problem since python executors are not allowed any external libraries anyway.

DMOJ/judge,DMOJ/judge,DMOJ/judge