Fix opam packages.

Signed-off-by: Siddharth Vinothkumar <siddharth.vinothkumar@citrix.com>
Fix travis badge.

Signed-off-by: Siddharth Vinothkumar <siddharth.vinothkumar@citrix.com>