#283: load_dataset.php, include PHP filename in JSON array

Resolves #283.