Added Faugere library for computing F4, F5