Added Travis-ci badge (for my Travis)