Use | as the bootstrap file delimiter

It seems to be the best choice of the characters that cannot be in a
filename. See
http://en.wikipedia.org/wiki/Filename#Reserved_characters_and_words.