remove bash_profile.sh from urweb

frameworks/Ur/urweb/bash_profile.sh

@@ -1,3 +0,0 @@
-#!/bin/bash
-
-export URWEB_HOME=${IROOT}/urweb

frameworks/Ur/urweb/setup.sh

@@ -1,4 +1,5 @@
 #!/bin/bash
+export URWEB_HOME=${IROOT}/urweb
 
 ${URWEB_HOME}/bin/urweb -db "dbname=hello_world user=benchmarkdbuser password=benchmarkdbpass host=${DBHOST}" bench