Document (weakly) the tactic change command
Update changelog for v0.4.9.0
Update .cabal and documentation