Students' Feedback in Using GitHub in a Project Development for a Software Engineering Course