Adds bigmler repository
Merge branch 'master' of github.com:shantanusharma/Linux-environment

Conflicts:
	etc/github-repos.cfg