travis: use container based build
core: fix type inference for arguments in Phi node (fix #33)