* added benchmarking system
* implemented aslam solver (old and new quaternion impl)
* implemented typed expressions solver (Eigen based, simple Eigen replacement based, for each max expr. type tree depth in {1, 10} )