bazel(tools/dreal.bzl): Clean up docs and unused arguments
bazel(tools/dreal.bzl): Clean up docs and unused arguments

dreal/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4