fix(debug): print type in lean_assert, print bool correctly

 - use typeinfo to print out a type of value when an assertion fails.
   need to use "c++filt --types" to demangle names for non-basic types.
 - use std::boolalpha and std::noboolalpha to control the printed values
   for "true" and "false"
chore(travis): use c++filt to handle demangled c++ names
Merge pull request #5 from soonhokong/lean_assert_pr

Suggestion for lean_assert