Make WORK_DIR a command line argument

Signed-off-by: Eduardo L. Buratti <elb09@c3sl.ufpr.br>
Add more test instances (3color-XXv.cnf)

Signed-off-by: Eduardo L. Buratti <elb09@c3sl.ufpr.br>