[DO NOT MERGE] String refine unicode#540

Closed

smowton wants to merge 7 commits intodiffblue:masterfrom

smowton:string-refine-unicode

Commits on Feb 13, 2017

Conversion utf8 to utf16 and pretty-printing of Java strings
smowton
committed
Update travis file for using libc++ with clang compiler

Romain Brenguier
authored and
smowton
committed
Requiering libc++ in travis file

romainbrenguier
authored and
smowton
committed
Ask Clang to use libstdc++ instead of libc++

romainbrenguier
authored and
smowton
committed
Requiering package libstdc++-5-dev

romainbrenguier
authored and
smowton
committed
Fix travis.yml
smowton
committed
Switch to libc++
smowton
committed