Moved requirements.txt to root folder
Renamed ITL file extension to .itl
Added an ITL file

Note that this file contains assert statements that require an accurate output
for some functions even though a tightest implementation would satisfy the
standard. These tests may thus fail even though the implementation is
standard-compliant!