GrammaTech's software-development tools are used worldwide by startups, Fortune 500 companies, educational institutions, and government