Define plasmapper_server address at a higher level

Currently in app/Http/Controllers/PlasmidBaseController.php:

$plasmapper_server = "http://" . $_SERVER["HTTP_HOST"] . ":8080/PlasMapper/" ; 

this must be defined more globally.