Make bank shares depend on shares in other places

Bank pool shares of company should not be a field in the DB, instead it should be a property that is equal to total_shares - shares_owned_by_players - ipo_shares. This should be OK for shorts because that is minus negative so becomes plus in the pool