extension: some improvements for build files to prepare for publishing new version#81

karlicoss merged 2 commits intomasterkarlicoss/grasp:masterfrom

updateskarlicoss/grasp:updatesCopy head branch name to clipboard