Update Core.class.php

Added 32-bit bitvector handling routines (which are used later)