Use colored output on CI for Doctest

GitHub Actions output is not considered a TTY, so colored output
must be forced.