Fixed typo and removed trailing newline

Author: Ed Stenson

doc/cprover-manual/goto-cc.md

@@ -9,7 +9,7 @@ libraries and system-wide options. A *build system* then collects the
 configuration options from the system and compiles the software
 according to build rules.
 
-The most prevalent build tool on Unix-based systems ia the
+The most prevalent build tool on Unix-based systems is the
 `make` utility. This tool uses build rules given in a *Makefile* that
 comes with the software sources. Running software verification tools on
 projects like these is greatly simplified by a compiler that first
@@ -161,4 +161,3 @@ int main() {
   assert(0);
 }
 ```
-