Update core.typed version (should fails)
More logging
Update midje
Changes for new core.typed version
Launch tests on travis using trampoline
Fix annotations
Build on multiple jdk versions