master branch: fix bugs 250, 259 and 273#4

Open

ony wants to merge 4 commits intoMercury-Language:masterfrom

Commits on Jan 5, 2013

Commits on Jan 6, 2013

fix bug273 (race cond. in slice and deep_profile)
ony
committed