Adds code for a third agent
Fixes a definition
Adds a command for the number of agents
Updates the bold letters
Adds a multiplication macro
Adds an infinite time
Adds script letters.
Removes a package for incompatibility.

Flexisym breaks source sans pro package.
Flexisym was only added for `\textprime` which is not really useful.