Adding travis badge + adjusting to match reality