The FORM project for symbolic manipulation of very big expressions