move-requires.py

#!/usr/bin/env python3
import sys
from coq_tools.move_requires import main
if __name__ == '__main__':
    sys.exit(main())