Interfaces of the test modules (of those of library type) get copied into
this directory. The standard library interface also gets copied here, in
order to have all interface files in one place.