Add option to disable Eigen: fix #542
Add a blank line for readability
Merge branch 'develop' into option-disable-eigen
Do not install Eigen if disabled
Merge pull request #607 from jubatus/option-disable-eigen

Add option to disable Eigen: fix #542