Count commands used in a Coq script

Copyright © 2015 Camil Staps - licensed under MIT. See GitHub for details.