bugfix on gitignore, missing source/*
Version bumped from  0.4.7 to 0.4.8
Merge branch 'release-0.4.8'