[LITMUS^RT] small fixes and improvements

[Björn Brandenburg]

Hi Glenn, hi Jonathan, hi everyone,

I've pushed a small collection and fixes and minor improvements to

	prop/misc-fixes (https://github.com/LITMUS-RT/litmus-rt/commits/prop/misc-fixes)

in the GitHub LITMUS^RT repository and to

	prop/misc-improvements (https://github.com/LITMUS-RT/liblitmus/commits/prop/misc-improvements)

in the GitHub liblitmus repository. 

If there are no objections, I'd like to merge these patches later this week or so.

Glenn, what happened to the C-EDF release race? I take it the patch didn't work for you?

Thanks,
Björn