U.S. budget deficit grew slightly in first four months of FY 2015-CBO