Library for Maple to implement Boneh and Franklin's Identity Based Encryption Scheme