make spec more robust, add travis badge