fix CI settings;
add CI badge to github;