fixing travis issues; adding verbosity; travis badge