karma options for travis