Update free-programming-books.md

Added a link to "Models of Computation" by John E. Savage to the
"Theoretical Computer Science" category.