alternate source for beaver installation

Added ability to add specify custom source for beaver installation. This makes it possible to download beaver, e.g., from a git source.