chore(ctest): use CDash server located at borel.modck.cs.cmu.edu
chore(ctest): fix typo in CTEST_DROP_LOCATION
refactor(library/tactic): cleanup

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>