Experimental

In this branch, the following have done;
(1) The LieBracket class is refined,
(2) The Term class be able to accept Rational coefficients. Then the FormalSum class too,
(3) The version of ruby using in this project changes to 2.1.1. So, Gemfile and Guardfile are adjusted for the version.