This is the "bin" directory for Hol98. This file is mainly here so that
the directory is not empty.

