Fix name provider

Name provider relied on tzdb short names matching JDK data names
This has ceased to be true due to recent changes in tzdb
Add improved matching based on summer/winter
Data returned still depends on the JDK data, not the tzdb
Fixes #175
Adjust travis versions to test on