Added Travis-CI and David-DM badges.