Update documentation + add Travis badge