Test for Binary Variables with Bounds

Add a test to the standard solver tests that encodes cases of this form, 
```julia
@variable(m, x, binary=true, lower_bound=0, upper_bound=1)
```
At the time of this posting, Gurobi.jl and Cbc.jl are fine with this example while CPLEX.jl and GLPK.jl throw an error.