pico is a toolkit for creating small php apps