Refactor tests to use all solvers and FactCheck.jl
Merge pull request #300 from JuliaOpt/factcheck

FactCheck and test refactor