Add misc/check-style.sh; call check-style on travis