Added Travis-CI config and 'formal' dependencies