Qualify the import of the Tactics module.

This way, we don't get a warning about ambiguous imports.
Merge pull request #177 from JasonGross/rename-tactics

Qualify the import of the Tactics module.
I think it is OK to do trivial changes like this yourself, without a pull request.