New 'githubpath' extension. Returns the Github source taking into account the branch.
Bump devel version to 4.6