mines.py: Added timer