Translate the comments in english (in arithmetic.v)
Add the LICENSE file.