use easy to remember names for log files for planetlab
Merge branch 'develop' of github.com:XIA-Project/xia-core into develop