Added a main check to IsPrime.py. Fixes #1