Had to readd travis badge due to name change