Basic PHP library for adding flash messages